例文This binary search procedure can be used to convert floating-point numbers into rational numbers.The binary search procedure is then called recursively, this time on the new ( and smaller ) array.